:: Monad m => _ package:checkers

A value that is never available. Rerun of hang from unamb, but replicated to avoid mutual dependency. TODO: Remove when this module is moved into the unamb-test package.